Bilateral Connexive Logic
نویسندگان
چکیده
This paper proposes a bilateral analysis of connexivity, presenting natural deduction system for weak connexive logic. The proposed logic deviates from other logics and in the following respects: (1) induces difference meaning between inner outer occurrences negation axioms. (2) allows incoherence—assertion denial same formula—while still being non-trivial.
منابع مشابه
Connexive Modal Logic
Connexive logic is a neglected direction in non-classical logic. In the present paper, first an axiomatic system of connexive propositional logic is presented. This logic, C, is shown to be sound and complete with respect to a class of relational models. It seems that this semantics is, in fact, the first known intuitively plausible interpretation of a system of connexive logic. The presentatio...
متن کاملDialogical Connexive Logic
Many of the discussions about conditionals can best be put as follows: can those conditionals that involve an entailment relation be formulated within a formal system? The reasons for the failure of the classical approach to entailment have usually been that they ignore the meaning connection between antecedent and consequent in a valid entailment. One of the first theories in the history of lo...
متن کاملWhen Conditional Logic met Connexive Logic
Conditional logic and connexive logic are two theories whose goal is the correct formalization of the way conditionals (i.e. sentences of form if A, C) are used in natural language. However, both approaches are never combined in the literature. I present here the first formal system which allows modeling the ideas behind these two approaches in a unique framework. Furthermore, the resulting sys...
متن کاملImage Posterization Using Fuzzy Logic and Bilateral Filter
Image posterization is converting images with a large number of tones into synthetic images with distinct flat areas and a fewer number of tones. In this technical report, we present the implementation and results of using fuzzy logic in order to generate a posterized image in a simple and fast way. The image filter is based on fuzzy logic and bilateral filtering; where, the given image is blur...
متن کاملAdaptive Fuzzy Logic Control for Time-Delayed Bilateral Teleoperation
In recent years, teleoperation has shown great potentials in different fields such as spatial, mining, under-water, etc. When teleoperation is required to be bilateral, the time delay induced by a potentially large physical distance prevents a good performance of the controller, especially in case of contact. When bilateral teleoperation is introduced to the field of medicine, a new challenge a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logics
سال: 2023
ISSN: ['2813-0405']
DOI: https://doi.org/10.3390/logics1030008